-
1 логическая эквивалентность
матем. equivalenza logicaDictionnaire technique russo-italien > логическая эквивалентность
-
2 эквивалентность
См. также в других словарях:
Эквивалентность — В математике и логике: Отношение эквивалентности бинарное отношение. Эквиваленция (или материальная эквивалентность) логическая операция. Логическая эквивалентность отношение между высказываниями … Википедия
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
Логическая операция — в ЦВМ, поразрядная операция над кодами произвольной длины по правилам алгебры логики. Л. о. производится над всеми цифрами кодов одна и та же, при этом каждая цифра результата зависит не более чем от одной цифры одного или нескольких… … Большая советская энциклопедия
семантика логическая — СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… … Энциклопедия эпистемологии и философии науки
ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П … Философская энциклопедия
Импликация — Импликация (лат. implicatio связь) бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… … Википедия
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
Отношение эквивалентности — У этого термина существуют и другие значения, см. Эквивалентность. Отношение эквивалентности ( ) на множестве это бинарное отношение, для которого выполнены следующие условия: Рефлексивность: для любого в , Симметричность: если … Википедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
транзитивности закон — закон логики, согласно которому определенная логическая связь (импликация, эквивалентность и др.) представляет собой отношение транзитивности. Т. з. для условного высказывания (импликации) можно передать так: когда верно, что если первое, то… … Словарь терминов логики
Синонимия — (от греч. synönymia одноимённость) бинарное Отношение, в котором находятся любые два равнозначные, но не тождественные выражения; под равнозначностью понимается соотнесенность либо с одним и тем же денотатом (фактом, объектом и т. п.),… … Большая советская энциклопедия